(a | b)R(c |d) iff a d=b c